Modular Rollback through Control Logging† Twin pearls in continuation, and a monadic third Olin Shivers () and Aaron Turon () Northeastern University

Source URL: www.mpi-sws.org

• Compiler construction
• Procedural programming languages
• Control characters
• Functional programming
• Parsing
• Delete character
• Recursive descent parser
• Forth
• Monad
• Lisp
• Scheme
• MAD

inria, versionAugModularization Metrics: Assessing Package Organization in Legacy Large Object-Oriented Software Hani Abdeen

Source URL: rmod.inria.fr

• Object-oriented programming
• Software design
• Software metrics
• Package manager
• Software distribution
• R
• Coupling
• Modular programming
• Object-oriented design
• FO
• Package principles

Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK

Source URL: plancomps.dreamhosters.com

• Logic in computer science
• Theoretical computer science
• Automated theorem proving
• Logic programming
• Bisimulation
• Substitution
• Operational semantics
• Transition system
• Derivative
• Permutation
• Variable
• -calculus

Modular Rollback through Control Logging A Pair of Twin Functional Pearls Olin Shivers Aaron Turon

Source URL: www.mpi-sws.org

• Compiler construction
• Procedural programming languages
• Parsing
• Control characters
• Compiling tools
• Delete character
• Recursive descent parser
• LR parser
• Parser combinator
• Lexical analysis
• Forth
• Scheme

Modular Architecture for Code and Metadata Sharing Tomas Tauber Bruno C. d. S. Oliveira The University of Hong Kong, Pok Fu Lam Road, Hong Kong, China

Source URL: i.cs.hku.hk

• Concurrent programming languages
• Object-oriented programming languages
• HTML
• Records management
• Comment
• Go
• Scala
• HTML element
• Entityattributevalue model
• Fragment identifier

First version of the Mancoosi specialised CUDF solver plugin for the modular platform manager Deliverable 4.2 Nature : Deliverable

Source URL: www.mancoosi.org

• Operations research
• Mathematical optimization
• Linear programming
• Solver
• Pareto efficiency

The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

Source URL: caml.inria.fr

• Software engineering
• Computer programming
• Computing
• Functional languages
• Object-oriented programming languages
• Data types
• OCaml
• Generic programming
• Modular programming
• Module
• Set
• Coupling

Lecture 3 Modular programming, C functions, recursive programming Reminder of lecture 2 • For statement

Source URL: newb6.u-strasbg.fr

Dual Ecological Measures of Focus in Software Development Daryl Posnett Univ. of California, Davis

Source URL: macbeth.cs.ucdavis.edu

• Software
• Computer architecture
• Network theory
• Networks
• Information theory
• Entropy
• Source lines of code
• Centrality
• Concurrent Versions System
• Modular programming
• Modularity
• Package manager

Foundation Degree in IT (full-time) Timetable This timetable shows the timetable for the FdIT for full-time students.   

Source URL: dcs.bbk.ac.uk

• Software engineering
• Programming paradigms
• Computer programming
• Computing
• JavaScript
• Public transport timetable
• Modular programming
• Scripting language
• Academic term